The Church-Turing Thesis (Stanford Encyclopedia of Philosophy)
ثبت نشده
چکیده
1. M is set out in terms of a finite number of exact instructions (each instruction being expressed by means of a finite number of symbols); 2. M will, if carried out without error, produce the desired result in a finite number of steps; 3. M can (in practice or in principle) be carried out by a human being unaided by any machinery save paper and pencil; 4. M demands no insight or ingenuity on the part of the human being carrying it out.
منابع مشابه
Computation, hypercomputation, and physical science
Copeland and others have argued that the Church-Turing thesis (CTT) has been widely misunderstood by philosophers and cognitive scientists. In particular, they have claimed that CTT is in principle compatible with the existence of machines that compute functions above the “Turing limit,” and that empirical investigation is needed to determine the “exact membership” of the set of functions that ...
متن کاملChurch ’ s thesis and its epistemological status Roman Murawski
The aim of this paper is to present the origin of Church’s thesis and the main arguments in favour of it as well as arguments against it. Further the general problem of the epistemological status of the thesis will be considered, in particular the problem whether it can be treated as a definition and whether it is provable or has a definite truth-value. 1. Origin and various formulations of Chu...
متن کاملChurch ’ s thesis and its epistemological status Roman
The aim of this paper is to present the origin of Church’s thesis and the main arguments in favour of it as well as arguments against it. Further the general problem of the epistemological status of the thesis will be considered, in particular the problem whether it can be treated as a definition and whether it is provable or has a definite truth-value. 1. Origin and various formulations of Chu...
متن کاملHypercomputation and the Physical Church-Turing Thesis
A version of the Church-Turing Thesis states that every effectively realizable physical system can be defined by Turing Machines (‘Thesis P’); in this formulation the Thesis appears an empirical, more than a logico-mathematical, proposition. We review the main approaches to computation beyond Turing definability (‘hypercomputation’): supertask, non-well-founded, analog, quantum, and retrocausal...
متن کاملOn the Church-Turing Thesis
After a brief description of the Church-Turing Thesis, we suggest that, according to the latest results on classical recursive probabilistic solution of the Halting Problem, such thesis is asymptotically false.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997